projects / gtk4.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3dc6a07)
ci: Move HTML report meta from header to article
authorEmmanuele Bassi <ebassi@gnome.org>
Thu, 13 Feb 2020 13:52:57 +0000 (13:52 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Thu, 13 Feb 2020 14:55:39 +0000 (14:55 +0000)
Makes the bar smaller.

.gitlab-ci/meson-html-report.py patch | blob | history

diff --git a/.gitlab-ci/meson-html-report.py b/.gitlab-ci/meson-html-report.py
index ef895a948a6fdcf927a38cc82b1c5827b0981bb5..437a6cb6648099b8dd99364670fce55f89990712 100755 (executable)
--- a/.gitlab-ci/meson-html-report.py
+++ b/.gitlab-ci/meson-html-report.py
@@ -139,14 +139,17 @@ ul.images li {
 <body>
   <header>
     <h1>{{ report.project_name }} :: Test Reports</h1>
-    <div class="report-meta">
-      <p><strong>Branch:</strong> {{ report.branch_name }}</p>
-      <p><strong>Date:</strong> <time datetime="{{ report.date.isoformat() }}">{{ report.locale_date }}</time></p>
-      {% if report.job_id %}<p><strong>Job ID:</strong> {{ report.job_id }}</p>{% endif %}
-    </div>
   </header>
 
   <article>
+    <section>
+      <div class="report-meta">
+        <p><strong>Branch:</strong> {{ report.branch_name }}</p>
+        <p><strong>Date:</strong> <time datetime="{{ report.date.isoformat() }}">{{ report.locale_date }}</time></p>
+        {% if report.job_id %}<p><strong>Job ID:</strong> {{ report.job_id }}</p>{% endif %}
+      </div>
+    </section>
+
     <section>
       <div class="summary">
         <h3><a name="summary">Summary</a></h3>
Unnamed repository; edit this file 'description' to name the repository.